Niven's theorem